On Steiner tableaus
نویسندگان
چکیده
منابع مشابه
Termination for Hybrid Tableaus
This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Braüner [5]. Their paper gives tableau-based decision procedures for basic hybrid logic (with unary modalities) and the basic logic extended with the global modality. All their proof procedures make use of loop-checks to ensure termination. Here we take a closer look at termination for hybr...
متن کاملDigital darkfield tableaus
Like wavelet decompositions, power spectra "tiled with direct space maps" are versions of a lattice image intermediate between direct and reciprocal space [1]. They generally take about the same time to calculate as a power spectrum, and contain useful information of all sorts about "where periodicities lie". Questions of this sort will be of increasing importance e.g. in subångstrom resolution...
متن کاملSemantics and Tableaus for LPS4
An axiomatic formulation of a logic called LPS4 appears in [3]. Here that logic is proved sound and complete with respect to the weak semantics of [7]. Also a tableau system for LPS4 is introduced, and also proved sound and complete with respect to the semantics, thus establishing both cut elimination and equivalence with the axiomatic formulation.
متن کاملPrefixed tableaus and nested sequents
Nested sequent systems for modal logics are a relatively recent development, within the general area known as deep reasoning. The idea of deep reasoning is to create systems within which one operates at lower levels in formulas than just those involving the main connective or operator. Prefixed tableaus go back to 1972, and are modal tableau systems with extra machinery to represent accessibili...
متن کاملTR-2004016: Semantics and Tableaus for LPS4
An axiomatic formulation of a logic called LPS4 appears in [3]. Here that logic is proved sound and complete with respect to the weak semantics of [7]. Also a tableau system for LPS4 is introduced, and also proved sound and complete with respect to the semantics, thus establishing both cut elimination and equivalence with the axiomatic formulation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1974
ISSN: 0012-365X
DOI: 10.1016/0012-365x(74)90024-7